Validierung syntaktischer und anderer EPK-Eigenschaften mit PROLOG

Die XML-basierte Austauschsprache EPML[MN04] für Ereignisgesteuerte Prozessketten wurde entwickelt, um eine Möglichkeit des Datenaustausches zwischen Modellierungswerkzeugen zu schaffen. Wird ein EPML-Modell aus einer fremden Quelle von einem Modellierungswerkzeug importiert, sollte zunächst geprüft werden, ob die importierte XML-Datei ein syntaktisch korrektes EPK-Modell darstellt. Hierzu müssen neben den syntaktischen Forderungen, die sich aus dem XML-Schema der Sprache EPML ergeben, weitere Eigenschaften getestet werden. Diese Eigenschaften (beispielsweise die Forderung, dass sich Ereignisse und Funktionen im EPKKontrollfluss abwechseln) sind in [Rum99], [Kel99] und [NR02] formalisiert. Mendling und Nüttgens zeigten in [MN03b], wie der überwiegende Teil der in [NR02] formalisierten Anforderungen mit Hilfe der Sprache Schematron validiert werden kann. Neben der Tatsache, dass zwei der Anforderungen aus [NR02] auf diese Weise nicht überprüft werden können, hat der Ansatz aus [MN03b] einen weiteren Nachteil: Er setzt voraus, dass das EPML-Modell zusätzliche Attribute zum Typ der Modellelemente enthält. Dies schafft jedoch Redundanz im EPML-Modell und vergrößert unnötig Größe und Komplexität der EPML-Austauschdateien. In unserem Beitrag zeigen wir, wie alle in [Rum99], [Kel99] und [NR02] beschriebenen Eigenschaften recht einfach mit Hilfe der Sprache PROLOG überprüft werden können, ohne die erwähnten zusätzlichen Attribute zu benötigen. Damit wird eine 100%-ige Überprüfung der Eigenschaften bei gleichzeitiger Reduzierung der Komplexität des Austauschformats erreicht. Wir geben ferner Beispiele für weitere Eigenschaften an, die mit unserem Ansatz effizient überprüft werden können.